$\forall$$M$:MsgA, $b$:Id. $b$ $\in$ dom($M$.prob) $\in$ $\mathbb{B}$